#include "encoding.h"
#include "rtthread.h"
#include "board.h"

#ifdef RT_USING_SMP

int rt_hw_cpu_id(void)
{
	int cpu_id;
	cpu_id = read_csr(mhartid);
	return cpu_id;
}

#endif /* !RT_USING_SMP */
